class A
	inherit B
		rename test1 as test2 alias "+"
feature
	test3 alias "-" do end
end